Bere ondoren datorren proposizioa gutxienez unibertsoko elementu baterako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. Ikurra ∃ du, eta existitzen da, bada edo badago irakurtzen da.